A Metamodel for Concurrent, Object-based Programming

The development of flexible and reusable concurrent object-oriented programming abstractions has suffered from the inherent problem that reusability and extensibility is limited due to position-dependent parameters. To tackle this problem, we propose the FORM-calculus, an inherently polymorphic variant of the π-calculus, where polyadic tuple communication is replaced by monadic communication of extensible records. This approach facilitates the specification of flexible, concurrent, object-oriented programming abstractions. Based on our previous work in this field, we present a FORM-calculus based meta-level approach for concurrent, object-based programming which adapts a compositional view of programming. This approach enables the definition of various semantic models supporting different kinds of inheritance and method dispatch strategies, and clarifies concepts which are typically merged in existing objectoriented programming languages. RÉSUMÉ. Le développement d’abstractions objets concurrentes, flexibles et réutilisables a souffert du problème suivant: la réutilisabilité et l’extensibilité sont limitées par le fait que les paramétres ont une position fixe. Pour résoudre ce problème, nous proposons le FORM-calculus, une version polymorphic du π-calculus, dans laquelle la communication polyadique basée sur des tuples est remplacée par une communication monadique d’enregistrements extensibles. Cette approche facilite la spécification d’abstractions orientées-objets flexibles et concurrentes. A partir de nos précédents travaux, nous présentons une approche méta basée sur le FORMcalculus qui propose une vue compositionnelle de la programmation. Cette approche permet la définition de différents modèles sémantiques de l’héritage et des recherches de méthodes clarifiant ainsi des concepts souvent implicites dans les langages objets traditionnels.